Puzzles, tableaux, and mosaics
نویسنده
چکیده
We define mosaics, which are naturally in bijection with Knutson-Tao puzzles. We define an operation on mosaics, which shows they are also in bijection with Littlewood-Richardson skew-tableaux. Another consequence of this construction is that we obtain bijective proofs of commutativity and associativity for the ring structures defined either of these objects. In particular, we obtain a new, easy proof of the Littlewood-Richardson rule. Finally we discuss how our operation is related to other known constructions, particularly jeu de taquin.
منابع مشابه
Automated Puzzle Solving
Smullyan wrote his famous book of puzzles before the boom in automated theorem proving. Hence it is interesting, that all the puzzles can be solved with one method or not. The paper shows how this can be done with analytic tableaux.
متن کاملar X iv : 0 70 6 . 37 38 v 1 [ m at h . A G ] 2 6 Ju n 20 07 EQUIVARIANT LITTLEWOOD - RICHARDSON TABLEAUX
We give a positive equivariant Littlewood-Richardson rule also discovered independently by Molev. Our proof generalizes a proof by Stembridge of the ordinary Littlewood-Richardson rule. We describe a weight-preserving bijection between our indexing tableaux and the Knutson-Tao puzzles.
متن کاملEquivariant Littlewood-richardson Skew Tableaux
We give a positive equivariant Littlewood-Richardson rule also discovered independently by Molev. Our proof generalizes a proof by Stembridge of the ordinary Littlewood-Richardson rule. We describe a weight-preserving bijection between our indexing tableaux and the Knutson-Tao puzzles.
متن کاملA Tableau for RTL (long version)
We use mosaics to provide a simple, sound, complete and terminating tableau reasoning procedure for the temporal logic of until and since over the real numbers model of time.
متن کاملPuzzles in K-homology of Grassmannians
Knutson, Tao, and Woodward [KTW04] formulated a Littlewood–Richardson rule for the cohomology ring of Grassmannians in terms of puzzles. Vakil [Vak06] and Wheeler–Zinn-Justin [WZ16] have found additional triangular puzzle pieces that allow one to express structure constants for K-theory of Grassmannians. Here we introduce two other puzzle pieces of hexagonal shape, each of which gives a Littlew...
متن کامل